Commentary by cpressey on Logic Programming works
=================================================

<!--
Copyright (c) 2025 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

### Programming with Higher-Order Logic

LambdaProlog and HOAS.  "All computation is proof search" - absolutely true.

### The Semantics of Predicate Logic as a Programming Language

### What are the best uses of Logic Programming?

### How to implement fully-declarative Horn logic?

### Dept. of Computing, Imperial College, London: Robert Kowalski Home Page